Automatic Ordering of Predicates by Metarules
نویسنده
چکیده
I describe metarules which order predicates contained in first order logic rules. These metarules are applied to rules created by a learning Go program. After the ordering of the predicates, the rules are matched orders of magnitude faster than the original learned rules.
منابع مشابه
Learning to compose fuzzy behaviors for autonomous agents
In this paper, we present SELF , an evolutionary algorithm that we have developed to learn the context of activation of fuzzy logic controllers implementing fuzzy behaviors for autonomous agent. SELF learns context metarules that are used to coordinate basic behaviors in order to perform complex tasks in a partially and imprecisely known environment. Context metarules are expressed in terms of ...
متن کاملManaging Con icts between Rules
Rules are used as a programmingparadigm in several application domains, including active databases, planning, expert systems, and billing. For example, active databases have rules that execute upon the occurrence of particular events if speciied condition predicates are satissed. It is often the case that multiple rules are reable when a particular event occurs. We propose a declarative mechani...
متن کاملThe Interlanguage of Persian Learners of Italian: a Focus on Complex Predicates
This paper aims at investigating the acquisition of Italian complex predicates by native speakers of Persian. Complex predication is not as pervasive a phenomenon in Italian as it is in Persian. Yet Italian native speakers use complex predicates productively; spontaneous data show that Persian learners of Italian seem to be perfectly aware of Italian complex predicates and use this familiar fea...
متن کاملDirect Parsing With Metarules
In this paper we argue for the direct application of metarules in the parsing process and introduce a slight restriction on metarules. This restriction relies on theoretical results about the termination of term-rewrite systems and does not reduce the expressive power of metarules as much as previous restrictions. We prove the termination for a set of metarules used in our German grammar and sh...
متن کاملCharacterization of Message Ordering Specifications and Protocols
We study the problem of determining which message ordering speciications can be implemented in a distributed system. Further, if a speciication can be implemented, we give a technique to determine whether it can be implemented by tagging information with user messages or if it requires control messages. To specify the message ordering, we use a novel method called forbidden predicates. All exis...
متن کامل